Wahlpflichtbereich Theoretische Informatik

Module	LV Type	CP	LV	Dates
Algorithmische Modelltheorie I	Fach-/Modulprüfung	9	515396
Compilerbau	Fach-/Modulprüfung	6	515331
Dynamical Processes on Networks	Fach-/Modulprüfung	6	516588
	Vorlesung		521079	Di 12:30-14:00 UMIC_024 (2165\|024) (×13) Do 16:30-18:00 5054 (2356\|054) (×15)
	Übung		521080	Do 10:30-12:00 5054 (2356\|054) (×14)
Effiziente Algorithmen	Fach-/Modulprüfung	6	514976
	Vorlesung		521740	Mo 16:30-18:00 AH I (2350\|028) (×12) Mo 16:30-18:00 AH V (2356\|050) (×1) Di 16:30-18:00 AH V (2356\|050) (×13)
	Tutorium		521741	Mi 16:30-18:00 AH II (2350\|111) (×15) Do 08:30-10:00 5052 (2356\|052) (×15) Do 10:30-12:00 5056 (2356\|056) (×15) Do 12:30-14:00 5052 (2356\|052) (×15) Do 12:30-14:00 5054 (2356\|054) (×15) Do 16:30-18:00 5052 (2356\|052) (×15)
Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	515602
Erfüllbarkeitsüberprüfung	Vorlesung/Übung		511645	Mo 08:30-10:00 AH I (2350\|028) (×13) Mo 16:30-17:15 5056 (2356\|056) (×14) Di 08:30-10:00 AH V (2356\|050) (×13)
Introduction to Algorithmic Differentiation	Fach-/Modulprüfung	6	518526
Introduction to Algorithmic Differentiation	Vorlesung/Übung		510858	Di 10:30-12:00 AH III (2350\|314.1) (×14) Mi 10:30-12:00 AH IV (2354\|030) (×15)
Komplexitätstheorie	Fach-/Modulprüfung	6	515647
Lineare Optimierung und Netzwerkalgorithmen	Fach-/Modulprüfung	9	516686
	Vorlesung		513420	Mo 10:30-12:00 II (1010\|201) (×1) Mo 10:30-12:00 SeMath (1950\|008) (×14) Fr 12:30-14:00 H10 (1385\|217) (×1) Fr 12:30-14:00 SeMath (1950\|008) (×13)
	Übung		513071	Mo 16:30-18:00 SeMath (1950\|008) (×14)
Mathematische Logik II	Fach-/Modulprüfung	6	515392
Model Checking	Fach-/Modulprüfung	6	518530
	Vorlesung		521373	Mi 12:30-14:00 AH I (2350\|028) (×12) Do 10:30-12:00 AH III (2350\|314.1) (×14)
	Übung		521372	Mo 12:30-14:00 5056 (2356\|056) (×1) Di 10:45-13:15 5056 (2356\|056) (×1) Do 08:30-10:00 AH III (2350\|314.1) (×10) Do 09:55-12:30 5056 (2356\|056) (×1)